Voer een woord of zin in in een taal naar keuze 👆
Taal:
Vertaling en analyse van woorden door kunstmatige intelligentie ChatGPT
Op deze pagina kunt u een gedetailleerde analyse krijgen van een woord of zin, geproduceerd met behulp van de beste kunstmatige intelligentietechnologie tot nu toe:
- hoe het woord wordt gebruikt
- gebruiksfrequentie
- het wordt vaker gebruikt in mondelinge of schriftelijke toespraken
- opties voor woordvertaling
- Gebruiksvoorbeelden (meerdere zinnen met vertaling)
- etymologie
Wat (wie) is extensional equality - definitie
LOGIC PRINCIPLE THAT JUDGES OBJECTS TO BE EQUAL IF THEY HAVE THE SAME EXTERNAL PROPERTIES
Extensional equality; Extensional relation; Extensional relations
extensional equality
(Or extensionality). Functions, f and g are extensionally
equal if and only if
f x = g x for all x.
where "=" means both expressions fail to terminate (under some
given reduction strategy) or they both terminate with the
same basic value.
Two functions may be extensionally equal but not
inter-convertible (neither is reducible to the other). E.g.
x . x+x and x . 2*x. See also {observational
equivalence}, referential transparency.
extensionality
Extensionality
In logic, extensionality, or extensional equality, refers to principles that judge objects to be equal if they have the same external properties. It stands in contrast to the concept of intensionality, which is concerned with whether the internal definitions of objects are the same.
Wikipedia
Extensionality
In logic, extensionality, or extensional equality, refers to principles that judge objects to be equal if they have the same external properties. It stands in contrast to the concept of intensionality, which is concerned with whether the internal definitions of objects are the same.
